Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
771	COD School Testing Guide VOLUME V SECTION 1 Add to Reading List Source URL: www.ifap.ed.gov Language: English - Date: 2014-11-25 08:18:50 Software testing Food and drink Cod Gadidae Seafood Validation Verification and validation Test plan Fish Pharmaceutical industry Validity
772	FrankenBit: Bit-Precise Verification with Many Bits (Competition Contribution)? Arie Gurfinkel1 and Anton Belov2 1 Carnegie Mellon Software Engineering Institute Add to Reading List Source URL: anton.belov-mcdowell.com Language: English - Date: 2014-01-27 10:25:19 Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM Z3 Invariant Model checking Theoretical computer science Computing Software engineering
773	VOLUME V SCHOOL TESTING GUIDE COMMON ORIGINATION AND DISBURSEMENT Add to Reading List Source URL: www.ifap.ed.gov Language: English - Date: 2014-11-25 08:18:47 Cape Cod Geology of Massachusetts New England Verification and validation Cod Fish Food and drink Software testing
774	Technical Details for Commissioning and Verification Add to Reading List Source URL: www.nrel.gov Language: English - Date: 2014-11-07 11:55:11 Science Photovoltaic system IEC 60364 Software development process Verification and validation Technology Systems science Solar module quality assurance New-construction building commissioning Photovoltaics Electric power distribution Systems engineering
775	Formal specification and verification of control software for cryptographic equipment - Computer Security Applications Conference, 1990., Proceedings of the Sixth Annual Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-18 20:05:29 Authentication Login Transaction authentication number Password Security token SecurID Security Computer security Access token
776	Project Status Victor Krabbendam LSST Project Manager Executive Summary Add to Reading List Source URL: project.lsst.org Language: English - Date: 2014-08-11 16:47:11 Systems engineering Software development process Construction Audit Verification Energy service company Technology Space Science Large Synoptic Survey Telescope Telescopes
777	FIELD SAMPLING AND TESTING MANUAL Add to Reading List Source URL: www.dot.nd.gov Language: English - Date: 2014-06-27 17:32:00 Analytical chemistry Acceptance testing Software testing Sample Geotextile Sampling Verification and validation Technology Quality assurance Geotechnical engineering Science Chemistry
778	Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.org Language: English - Date: 2014-11-13 21:39:07 Software engineering Formal verification Model checking Carnegie Mellon University Software Engineering Institute Automated proof checking Proof-carrying code Formal methods Computer science Software development
779	VOLUME V SCHOOL TESTING GUIDE COMMON ORIGINATION AND DISBURSEMENT Add to Reading List Source URL: www.fsadownload.ed.gov Language: English - Date: 2013-05-10 15:12:58 New England Verification and validation Geography of the United States Evaluation Science Software testing Cape Cod Geology of Massachusetts
780	HSARPA Cyber Security R&D Add to Reading List Source URL: www.dhs.gov Language: English - Date: 2013-01-02 14:26:40 Software bug Static program analysis Abstract interpretation Formal verification Vulnerability Programming tool Abstraction Computing Software engineering Software quality

UPDATE